Refinement-Based Student Modeling and Automated Bug Library Construction

نویسندگان

  • Paul Baffes
  • Raymond Mooney
چکیده

A critical component of model-based intelligent tutoring systems is a mechanism for capturing the conceptual state of the student, which enables the system to tailor its feedback to suit individual strengths and weaknesses. To be useful such a modeling technique must be practical , in the sense that models are easy to construct, and effective , in the sense that using the model actually impacts student learning. This research presents a new student modeling technique which can automatically capture novel student errors using only correct domain knowledge, and can automatically compile trends across multiple student models. This approach has been implemented as a computer program, A SSERT, using a machine learning technique called theory refinement, which is a method for automatically revising a knowledge base to be consistent with a set of examples. Using a knowledge base that correctly defines a domain and examples of a student’s behavior in that domain, A SSERT models student errors by collecting any refinements to the correct knowledge base which are necessary to account for the student’s behavior. The efficacy of the approach has been demonstrated by evaluating A SSERT using 100 students tested on a classification task covering concepts from an introductory course on the C ++ programming language. Students who received feedback based on the models automatically generated by A SSERT performed significantly better on a post test than students who received simple reteaching.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

5 Related Work Using Theory Revision to Model Students and Acquire Stereotypical Errors

Student modeling has been identi ed as an important component to the long term development of Intelligent Computer-Aided Instruction (ICAI) systems. Two basic approaches have evolved to model student misconceptions. One uses a static, prede ned library of user bugs which contains the misconceptions modeled by the system. The other uses induction to learn student misconceptions from scratch. Her...

متن کامل

Easymap : a Semi - Automatic and Correct - by - Construction Abstract - Data - Type Refinement Tool for Pointer - Intensive Applications

Implementing a computer in general, or an embedded system in particular, requires functionality from different, sometimes overlapping, application domains. For instance, the implementation of a mobile phone relies on functionality from graphics, computer games, protocol processing, etc. Code in these domains typically contain complicated dynamic data structures such as linked lists, quad trees,...

متن کامل

Extensible Data-Representation Selection for Correct-by-Construction Program Derivation

Program synthesis via refinement is a venerable approach for gradually transforming specifications into executable code, generating a proof trail showing that the final efficient program adheres to the specification. We present the first automated, proof-generating refinement system that invents new data structures to suit the needs of a program, applying global program analysis to understand t...

متن کامل

Modeling component connectors in Reo by constraint automata

In this paper we introduce constraint automata and propose them as an operational model for Reo, an exogenous coordination language for compositional construction of component connectors based on a calculus of channels. By providing composition operators for constraint automata and defining notions of equivalence and refinement relations for them, this paper covers the foundations for building ...

متن کامل

Bed bug (Cimex lectularis) outbreak: A cross-sectional study in Polour, Iran

Background: Cimex lectularius (bed bug) are insects abundantly found in hot, temperate areas. This study is related to the outbreak of Cimex lectularius in a construction site around Polour in Amol, Iran. This cross-sectional study has examined 182 prefabricated houses made of intermodal containers [Conex] converted to a temporary housing, in a construction site.Methods...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001